The Pigeonhole Principle, Two Centuries Before Dirichlet
نویسندگان
چکیده
منابع مشابه
The Pigeonhole Principle
Theorem 1.1. If n + 1 objects are put into n boxes, then at least one box contains two or more objects. Proof. Trivial. Example 1.1. Among 13 people there are two who have their birthdays in the same month. Example 1.2. There are n married couples. How many of the 2n people must be selected in order to guarantee that one has selected a married couple? Other principles related to the pigeonhole ...
متن کاملThe Topological Pigeonhole Principle for Ordinals
Given a cardinal κ and a sequence (αi )i∈κ of ordinals, we determine the least ordinal (when one exists) such that the topological partition relation
متن کاملPigeonhole Principle and the Probabilistic Method
As a story, this means that at a party with n persons, there exist two persons who know the same number of people at the party. Proof. For any graph on n vertices, the degrees are integers between 0 and n − 1. Therefore, the only way all degrees could be different is that there is exactly one vertex of each possible degree. In particular, there is a vertex v of degree 0 (with no neighbors) and ...
متن کاملResolution and the Weak Pigeonhole Principle
We give new upper bounds for resolution proofs of the weak pigeonhole principle. We also give lower bounds for tree-like resolution proofs. We present a normal form for resolution proofs of pigeonhole principles based on a new monotone resolution rule.
متن کاملMatrix identities and the pigeonhole principle
We show that short bounded-depth Frege proofs of matrix identities, such as PQ = I ⊃ QP = I (over the field of two elements), imply short bounded-depth Frege proofs of the pigeonhole principle. Since the latter principle is known to require exponential-size bounded-depth Frege proofs, it follows that the propositional version of the matrix principle also requires bounded-depth Frege proofs of e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Mathematical Intelligencer
سال: 2013
ISSN: 0343-6993,1866-7414
DOI: 10.1007/s00283-013-9389-1